type one counter model

一型计数模型